Should your specification language be typed

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modified April 1 , 1998 SRC Research Report 147 Should Your Specification Language Be Typed ?

The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support Digital's business objectives. Our current work includes exploring distributed personal computing on multiple platforms, networking , programming technology, system modelling and management techniques, ...

متن کامل

The Fundamental Reasons Why Laptop Computers should not be Used on Your Lap

As a tendency to use new technologies, gadgets such as laptop computers are becoming more popular among students, teachers, businessmen and office workers. Today laptops are a great tool for education and learning, work and personal multimedia. Millions of men, especially those in the reproductive age, are frequently using their laptop computers on the lap (thigh). Over the past several years, ...

متن کامل

I-14: Assisted Reproduction and Religion What Consideration Should Be and Should Not Be Relevant,

Several important issues are pertinent to an ethical discussion of the new technology today grouped under the name Assisted Reproduction Technology (ART). This is a moral imperative because each of us must decide what is to be considered ethically acceptable in assisted reproduction. Reflecting on the ethical dimension of ‘creating’ a new human life can play a major role in ensuring that in eac...

متن کامل

A Text Processing Language Should be First a Programming Language

Historically, typesetting languages have been designed for the entry of text. An embedded command language has since become important, indeed essential, but has remained a second-class citizen, sometimes masquerading as text, invariably clumsy and inadequate. We have designed a language that is a full-function programming language with embedded text. This shift in emphasis results in a level of...

متن کامل

ASC-134: Should You Be Feeding Fat to Your Cows

Feeding fats to dairy cows has become increasingly popular primarily for two reasons: 1. Supplemental fat can be used to increase the energy concentration of diets for highproducing cows. During early lactation, highproducing cows cannot consume enough feed to meet their energy needs. Fats are fed to cows: • to prevent them from losing too much weight, • to shorten the time frame during which t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Transactions on Programming Languages and Systems

سال: 1999

ISSN: 0164-0925,1558-4593

DOI: 10.1145/319301.319317